$\forall$$A$, ${\it A'}$:Type\{i\}, $B$:Type\{i'\}, $f$:($A$$\rightarrow$$B$). (${\it A'}$ $\subseteq$r $A$) $\Rightarrow$ ($f$ $\in$ ${\it A'}$$\rightarrow$$B$)